首页> 外文OA文献 >Distributed Firewalls and IDS Interoperability Checking Based on A Formal Approach

【2h】

Distributed Firewalls and IDS Interoperability Checking Based on A Formal Approach

机译：基于形式化方法的分布式防火墙与IDS互操作性检查

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Kamel Karoui; Fakher Ben Ftima; Henda Ben Ghezala;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Distributed Firewalls and IDS Interoperability Checking Based on A Formal Approach [J] . Kamel Karoui, Fakher Ben Ftima, Henda Ben Ghezala International Journal of Computer Networks & Communications . 2013,第5期

机译：基于正式方法的分布式防火墙和IDS互操作性检查
2. A symbolic model checking approach in formal verification of distributed systems [J] . Alireza Souri, Amir Masoud Rahmani, Nima Jafari Navimipour, Human-centric Computing and Information Sciences . 2019,第1期

机译：分布式系统形式验证中的符号模型检查方法
3. A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking [J] . Dai Shengxin, Hong Mei, Guo Bing, Mathematical Problems in Engineering . 2015,第Pta22期

机译：基于统计模型检验的RT-DVS算法评估的一种形式化方法
4. A Formal Compositional Verification Approach for Safety-Critical Systems Correctness: Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software [C] . Manuel I. Capel, Luis E. Mendoza Morales International Conference on Enterprise Information Systems . 2012

机译：安全关键系统正确性的正式组建验证方法：基于模型检查的方法方法，可自动验证安全关键系统软件
5. Simulating Evolution of Low-Voltage Electric Grids with Distributed Energy Technology Adoption: An Agent-Based Modeling Approach [D] . Monroe, Jacob Garner. 2020

机译：分布式能源技术采用模拟低压电网的演化：基于代理的建模方法
6. Cryptanalysis and improvement of an elliptic curve based signcryption scheme for firewalls [O] . Malik Zia, Rashid Ali -1

机译：基于椭圆曲线的防火墙签密方案的密码分析和改进
7. Distributed firewalls and IDS interoperability checking based on a formal approach [O] . Karoui, Kamel, Ftima, Fakher Ben, Ghezala, Henda Ben 2013

机译：基于a的分布式防火墙和IDs互操作性检查形式方法

Distributed Firewalls and IDS Interoperability Checking Based on A Formal Approach

著录项

引文网络

相似文献

相关主题

期刊订阅